DOES GEM CONVERGE TO MLE UNDER WU'S CONDITIONS? : A COUNTER EXAMPLE
نویسندگان
چکیده
منابع مشابه
Counter-Example Guided Fence Insertion under TSO
We give a sound and complete fence insertion procedure for concurrent finite-state programs running under the classical TSO memory model. This model allows “write to read” relaxation corresponding to the addition of an unbounded store buffer between each processor and the main memory. We introduce a novel machine model, called the Single-Buffer (SB) semantics, and show that the reachability pro...
متن کاملA Counter-Example to Theatrical Type Theories
John Dilworth Plays, symphonies and other works in the performing arts are generally regarded, ontologically speaking, as being types, with individual performances of those works being regarded as tokens of those types. But I show that there is a logical feature of type theory which makes it impossible for such a theory to satisfactorily explain a 'double performance' case that I present: one i...
متن کاملA counter-example to the Cantelli conjecture
In this paper, we construct a counter-example to a question by Cantelli, asking whether there exists a non-constant positive measurable function φ such that for i.i.d. r.v. X,Y of law N (0, 1), the r.v. X + φ(X) · Y is also Gaussian. For the construction that we propose, we introduce a new tool, the Brownian mass transport: the mass is transported by Brownian particles that are stopped in a spe...
متن کاملCounter-Example Guided Fence Insertion under Weak Memory Models
We give a sound and complete procedure for fence insertion for concurrent finite-state programs running under the classical TSO memory model. This model allows “write to read” relaxation corresponding to the addition of an unbounded store buffer between each processor and the main memory. We introduce a novel machine model, called the Single-Buffer (SB) semantics, and show that the reachability...
متن کاملA counter-example to an option pricing formula under transaction costs
In the paper by Melnikov and Petrachenko ‘On option pricing in binomial market with transaction costs,’ Finance Stoch. 9 (2005), 141–149, a procedure is put forward for pricing and replicating an arbitrary European contingent claim in the binomial model with bid-ask spreads. We present a counter-example to show that the option pricing formula stated in that paper can in fact lead to arbitrage. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of informatics and cybernetics
سال: 2005
ISSN: 0286-522X
DOI: 10.5109/12592